/*
 * ckpic.h -- Programmable Interrupt Controller support.
 *
 * This file is subject to the terms and conditions of the GNU General Public
 * License.  See the file "COPYING" in the main directory of this archive
 * for more details.
 *
 * Copyright (C) 2006  Hangzhou C-SKY Microsystems co.,ltd.
 * Copyright (C) 2006  Li Chunqiang (chunqiang_li@c-sky.com)
 * Copyright (C) 2009  Hu Junshan (junshan_hu@c-sky.com)
 */

#ifndef	_GX6002_IRQ_H_
#define	_GX6002_IRQ_H_

/*
 *	Define the base address of the gx6002 interrupt controller
 */
#define BASE_INTC  0xe0030000

#endif /* _GX6002_IRQ_H_ */
